181. Intelligent Tutoring Systems :
پدیدآورنده : edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Information systems.,Multimedia systems.
182. Intelligent information processing III
پدیدآورنده : Zhongzhi Shi, K. Shimohara, D. Feng (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Database management, Congresses.,Expert systems (Computer science), Congresses.
183. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics
پدیدآورنده : \ [Edited by] Manuel Rebuschi...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Knowledge, Theory of,Language and logic,شناخت (فلسفه),زبان و منطق,a04,a05,a04,a05,Reasoning.,استدلال
رده :
BC
177
.
I5
2014
E-Book
,
184. Introduction to Clinical Informatics
پدیدآورنده : by Patrice Degoulet, Marius Fieschi.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Medical records -- Data processing.,Medicine.
رده :
R858
.
B973
1997
185. Introduction to formal philosophy /
پدیدآورنده : Sven Ove Hansson, Vincent F. Hendricks, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.,Analysis (Philosophy),Computer science.,Ethics.,Logic, Symbolic and mathematical.
رده :
B808
.
5
.
I58
2018
186. Introduction to logic and critical thinking
پدیدآورنده : Salmon, Merrilee H.
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Logic,، Reasoning
رده :
BC
71
.
S25
2007
187. Key concepts & techniques in GIS
پدیدآورنده : / Jochen Albrecht
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Geographic information systems
رده :
G70
.
212
.
A43
2007
188. Knowledge Representation and Defeasible Reasoning
پدیدآورنده : edited by Henry E. Kyburg, Ronald P. Loui, Greg N. Carlson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic.
رده :
Q335
.
E358
1990
189. Knowledge graphs and semantic web :
پدیدآورنده : Boris Villazón-Terrazas, Yusniel Hidalgo-Delgado (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Semantic computing.,Semantic Web.
رده :
QA76
.
5913
190. Language and reasoning
پدیدآورنده : G.B. Keene
کتابخانه: Library of the Faculty of Economics University of Tehran (Tehran)
موضوع : Language-philosophy,Logic,Semantics
رده :
P
105
.
K35
1961
191. Law and philosophy :
پدیدآورنده : Csaba Varga.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Jurisprudence.,Law-- Philosophy.,Sociological jurisprudence.,Droit-- Méthodologie.,Droit-- Philosophie.,Droit-- Philosophie.,Filosofia do direito-- Hungria.,História do direito.,Jurisprudence.,Law-- Philosophy.,Lógica do direito.,Philosophie du droit.,Rechtsfilosofie.,Rechtsphilosophie,Rechtstheorie,Sociological jurisprudence.,Técnica jurídica.,Théorie juridique.
رده :
K235
.
V373
1994
192. Legal knowledge and analogy :
پدیدآورنده : edited by Patrick Nerhot.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Jurisprudence.,Law -- Interpretation and construction.,Law -- Language.
رده :
K296
.
E358
9999
193. Legal knowledge and information systems :
پدیدآورنده : edited by Marie-Francine Moens and Peter Spyns.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Law-- Methodology-- Automation, Congresses.,Droit-- Méthodologie-- Informatique, Congrès.,Intelligence artificielle, Congrès.,Systèmes d'information-- Droit (Science), Congrès.,Artificial intelligence.,LAW-- Computer & Internet.,Law-- Methodology-- Automation.
رده :
K212
.
J874
2005eb
194. Les Echelles argumentatives
پدیدآورنده : Oswald Ducrot
کتابخانه: Library of Faculty Foreign Languages and Literature of University of Tehran (Tehran)
موضوع : Language and logic,Reasoning,Discourse analysis
رده :
Fr
P
39
.
D797
1980
195. Logic, Language and Reasoning
پدیدآورنده : edited by Hans Jürgen Ohlbach, Uwe Reyle.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra-- Data processing.,Artificial intelligence.,Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
196. Logic, Language, formalism, informlaism
پدیدآورنده : Richardson, Daniel
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Logic, Symbolic and mathematical - Study and teaching , Computational Linguistics - Study and teaching , Language and logic - Study and teaching , Reasoning - Study and teaching
رده :
QA
9
.
R52
1995
197. Logic Programming :
پدیدآورنده : by Isaac Balbin, Koenraad Lecot.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.
رده :
QA76
.
6
B957
1985
198. Logic Programming '89 :
پدیدآورنده : edited by Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Translators (Computer programs)
رده :
QA76
.
63
E358
1991
199. Logic Programming and Nonmonotonic Reasoning :
پدیدآورنده : edited by Marcello Balduccini, Yuliya Lierler, Stefan Woltran.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming, Congresses.,Nonmonotonic reasoning, Congresses.,Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
L64
2019
